[IA64] purge stale tlb entry in ia64_do_page_fault()
authorawilliam@lappy <awilliam@lappy>
Tue, 20 Jun 2006 22:21:13 +0000 (16:21 -0600)
committerawilliam@lappy <awilliam@lappy>
Tue, 20 Jun 2006 22:21:13 +0000 (16:21 -0600)
commit880c32ae06180c9973f55f789dfb1e6d4c9032f4
treec025b7a98cd7cbb17b87eea46de10276b6cc418e
parent353280dc84e36265898529551cf6e07851fd6c86
[IA64] purge stale tlb entry in ia64_do_page_fault()

fix ia64_do_page_fault(). When it determines to again, it might remains stale
entry in tlb entry hoping next tlb imsert may purge it.
But if reflects faults, the stale entry remains. it must be purged.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/xen/faults.c